Menu
Overview
Postdoctoral Researcher in Logical Reasoning and Machine Learning - Helsingin yliopisto - Helsinki, Finland
Researcher
Job Description
Postdoc position at Helsinki University focusing on combining logical reasoning and machine learning, applying automated reasoning techniques to scale inductive logic programming.
Company Information
About
Meidät tunnetaan monitieteisyydestä. Uskomme tieteidenvälisen tutkimuksen ja rajoja rikkovan yhteistyön voimaan löytää ratkaisuja ja luoda toivoa paremman ja kestävämmän tulevaisuuden puolesta. Meitä yhdistävät arvomme totuus, sivistys, vapaus ja yhteisöllisyys, sekä halu tehdä merkityksellisiä töitä. Työn tekemisen kulttuurimme on yhteisöllistä, pohjautuen vahvaan asiantuntijuuteen ja rohkean ajattelun voimaan. Valitse moniääninen ja tasa-arvoinen yhteisö, jossa jokainen voi löytää oman tapansa vaikuttaa – maailman parhaaksi.
Data shown is based on historical job postings from our database.
Job Details
Requirements
- PhD in computer science or related
- Experience in logical reasoning
- Research in SAT/ASP/SMT/MaxSAT
- Excellent English skills
Responsibilities
- Conduct fundamental research
- Supervise students
- Apply automated reasoning to ILP
Field:
Research
Education Level
Masters
Related Opportunities
Discover more opportunities that match your interests and skills
Overview
Job Description
Postdoc position at Helsinki University focusing on combining logical reasoning and machine learning, applying automated reasoning techniques to scale inductive logic programming.
Company Information
Helsingin yliopisto
About
Meidät tunnetaan monitieteisyydestä. Uskomme tieteidenvälisen tutkimuksen ja rajoja rikkovan yhteistyön voimaan löytää ratkaisuja ja luoda toivoa paremman ja kestävämmän tulevaisuuden puolesta. Meitä yhdistävät arvomme totuus, sivistys, vapaus ja yhteisöllisyys, sekä halu tehdä merkityksellisiä töitä. Työn tekemisen kulttuurimme on yhteisöllistä, pohjautuen vahvaan asiantuntijuuteen ja rohkean ajattelun voimaan. Valitse moniääninen ja tasa-arvoinen yhteisö, jossa jokainen voi löytää oman tapansa vaikuttaa – maailman parhaaksi.
Data shown is based on historical job postings from our database.
Job Details
Requirements
- PhD in computer science or related
- Experience in logical reasoning
- Research in SAT/ASP/SMT/MaxSAT
- Excellent English skills
Responsibilities
- Conduct fundamental research
- Supervise students
- Apply automated reasoning to ILP
Field:
Research
Education Level
Masters
Salary Details
Starting salary 3800-4150 euros/month, depending on qualifications and experience